// Localized user interface.
var tr = {
	"off": "no",
	"on": "sì",
	"syntax": "Evidenziazione della sintassi",
	"lineno": "Numeri di riga",
	"reset": "Reimposta",
	"format": "Riordina il codice",
	"kill": "Termina programma",
	"run": "Esegui",
	"compile": "Compila ed esegui",
	"more": "Opzioni",
	"toc": "Indice dei contenuti",
	"prev": "Precedente",
	"next": "Successivo",
	"waiting": "In attesa di una risposta dal server remoto...",
	"errcomm": "Errore nella comunicazione con il server remoto.",
};
